Nuprl Definition : K-sem 11,40
K-sem(S;equiv)(k,s) == equiv(s,S(k(s))) 
latex

FDL editor aliasesK-sem

origin